Special issue on symbolic computation in software science
نویسندگان
چکیده
منابع مشابه
Special issue on symbolic computation in software science
This special issue of the Journal of Symbolic Computation is related to the Fourth and Fifth International Symposia on Symbolic Computation in Software Science, SCSS 2012 and SCSS 2013, held, respectively, in Gammarth, Tunisia, December 15–17, 2012 and in Hagenberg, Austria, July 5–6, 2013. After an open call for papers, we received 18 submissions, six of which have been selected for publicatio...
متن کاملSpecial issue on symbolic and algebraic computation
The International Symposium on Symbolic and Algebraic Computation (ISSAC), held at the University of Waterloo, Ontario, Canada in July 2007, was a successful meeting of this annual conference series, with a significant increase of the number of participants. Built on this success, the decision to publish a special issue in the Journal of Symbolic Computation was taken and a call for contributio...
متن کاملSpecial issue on artificial intelligence and symbolic computation
ing symbolic matrices Special issue on artificial intelligence and symbolic computation Randa Almomen · Alan P. Sexton · Volker Sorge © Springer Science+Business Media B.V. 2012 Abstract We present a procedure that allows the abstraction of elements in concrete symbolic matrices to obtain a more compact representation employing ellipses in order to expose homogeneous regions present in a matrix...
متن کاملSixth International Symposium on Symbolic Computation in Software Science
Generalization problems arise in many areas of software science: code clone detection, program reuse, partial evaluation, program synthesis, invariant generation, etc. Anti-unification is a technique used often to solve generalization problems. In this paper we describe an open-source library of some newly developed anti-unification algorithms in various theories: for firstand second-order unra...
متن کاملSymbolic computation in software science: Foreword from the editor
The series of workshops on Symbolic Computation in Software Science has been initiated by the research groups of Bruno Buchberger at RISC, Johannes Kepler University of Linz, Tetsuo Ida at the University of Tsukuba, and Masahiko Sato at Kyoto University. As the name suggests, the focus of the series is on applications of symbolic computation techniques in various areas of software science. The ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Symbolic Computation
سال: 2015
ISSN: 0747-7171
DOI: 10.1016/j.jsc.2014.09.027